logical constant

См. также в других словарях:

• Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… …   Wikipedia

• logical constant — loginė konstanta statusas T sritis automatika atitikmenys: angl. Boolean constant; logical constant vok. logische konstante, f rus. логическая константа, f pranc. constante logique, f …   Automatikos terminų žodynas

• Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

• Constant — or The Constant may refer to: Contents 1 In Mathematics 2 Other concepts 3 People 4 Organization 5 …   Wikipedia

• Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

• Constant — Con stant (k[o^]n stant), a. [L. onstans, antis, p. pr. of constare to stand firm, to be consistent; con + stare to stand: cf. F. constant. See {Stand} and cf. {Cost}, v. t.] 1. Firm; solid; fixed; immovable; opposed to {fluid}. [Obs.] [1913… …   The Collaborative International Dictionary of English

• Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

• Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… …   Wikipedia

• Logical Intuitive Introvert — The Logical Intuitive Introvert, LII, INTj, the Analyst, Maximilien Robespierre, or types. The Logical Intuitive Introvert is a rational, introverted, static type whose leading functions are introverted logic and extroverted intuition.Model A Ego …   Wikipedia

• Logical matrix — A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets. Contents 1… …   Wikipedia

• constant — A term in a logical calculus to which any interpretation assigns a fixed meaning, unlike a variable or schematic letter …   Philosophy dictionary